Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
- Författare
- (Edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XII, 427 sidor. 112 illus. in color. online resource. | 978-3-319-30734-3 |